pkgincludesubdir = $(includedir)/cryptominisat/mtl
pkgincludesub_HEADERS = Alg.h  Heap.h  Vec.h
